Martin Abadi And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
005E93 | Martin Abadi ; Véronique Cortier | Deciding knowledge in security protocols under (many more) equational theories |
006964 | Martin Abadi ; Véronique Cortier | Deciding knowledge in security protocols under equational theories |
This area was generated with Dilib version V0.6.33. |